Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท18h
๐Category Theory
Flag this post
A Short Introduction to Categorical Logic
youtube.comยท1d
โ๏ธInference Rules
Flag this post
Master Rust Pattern Matching: Build Safer, More Expressive Code with Advanced Techniques
๐ฏPattern Matching
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Dependent Haskell
Flag this post
Reflection for Aggregates (2020)
๐๏ธType Indexing
Flag this post
Java Generics and Collections โข Maurice Naftalin & Stuart Marks โข GOTO 2025
youtube.comยท1d
๐Go Generics
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
โจGleam
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
๐Rust Borrowing
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท1d
โ๏ธInference Rules
Flag this post
Roadmap for Improving the Type Checker
โ
Type Checking
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock โ Part 1
aws.amazon.comยท53m
โ๏ธInference Rules
Flag this post
My first fifteen compilers (2019)
๐ฌNanopasses
Flag this post
I built a symbolic reasoning system without language or training data. Iโm neurodivergent and not a developer โ just hoping someone can tell me if this makes se...
๐ฏFinite Automata
Flag this post
De Bruijn Numerals
ฮปLambda Calculus
Flag this post
Oops, My UUIDs Collided
๐Hash Functions
Flag this post
Down with template (or not)!
cedardb.comยท22h
๐Template Compilers
Flag this post
Double categories for adaptive quantum computation
arxiv.orgยท18h
๐Category Theory
Flag this post
Loading...Loading more...